Accountable protocols in abductive logic programming (extended abstract)
Gavanelli, M.; Alberti, M.; Lamma, E.
dettagli >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 325, No. 1, pp: 276-277, Anno: 2020 |
|
|
The CHR-based Implementation of the SCIFF
Abductive System
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina
dettagli >>
|
CEUR Workshop Proceedings,
Proceedings of the 26th Italian Conference on Computational Logic
Vol. 810, No. 1, pp: 163-177, Anno: 2011 |
|
|
Normative systems represented as hybrid knowledge bases
Alberti, Marco; Gomes, Ana Sofia; Gonçalves, Ricardo; Leite, João; Slota, Martin
dettagli >>
|
Springer Berlin Heidelberg,
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 6814, No. 1, pp: 330-346, Anno: 2011 |
|
|
Runtime addition of integrity constraints in SCIFF
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina
dettagli >>
|
Redaktion Sun SITE, Informatik V, RWTH Aachen,
25th Italian Conference on Computational Logic, CILC 2010
Vol. 598, No. 1, pp: 1-15, Anno: 2010 |
|
|
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio
dettagli >>
|
Sun SITE Central Europe,
Il Milione: A Journey in the Computational Logic in Italy
Vol. 487, No. 1, pp: 32-37, Anno: 2009 |
|
|
Integration of abductive reasoning and constraint optimization in SCIFF
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina
dettagli >>
|
Springer Verlag Berlin,
Logic Programming
Vol. 5649, No. 1, pp: 387-401, Anno: 2009 |
|
|
Machine learning for recognition of individuals from motion capture time series: performance and explainability
Galdi, E. M.; Alberti, M.; D'Ausilio, A.; Tomassini, A.
dettagli >>
|
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3486, No. 1, pp: 365-370, Anno: 2023 |
|
|
Why Can Neural Networks Recognize Us by Our Finger Movements?
Galdi, E. M.; Alberti, M.; D'Ausilio, A.; Tomassini, A.
dettagli >>
|
Springer Science and Business Media Deutschland GmbH,
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 13796, No. 1, pp: 327-341, Anno: 2023 |
|
|
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Alberti, Marco; Zese, Riccardo; Riguzzi, Fabrizio; Lamma, Evelina
dettagli >>
|
Open Publishing Association,
38th International Conference on Logic Programming, ICLP 2022
Vol. 364, No. 1, pp: 65-78, Anno: 2022 |
|
|
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases
Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo
dettagli >>
|
Sun SITE Central Europe,
Proceedings of the 4th International Workshop on Probabilistic Logic Programming (PLP)
Vol. 1916, No. 1, pp: 40-50, Anno: 2017 |
|
|
Iterated fixpoint well-founded semantics for hybrid knowledge bases
Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo
dettagli >>
|
CEUR-WS,
Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science (ICTCS 2017) and the 32nd Italian Conference on Computational Logic (CILC 2017), Naples, Italy, September 26-28, 2017
Vol. 1949, No. 1, pp: 248-261, Anno: 2017 |
|
|
Probabilistic logic programming for natural language processing
Riguzzi, Fabrizio; Lamma, Evelina; Alberti, Marco; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
dettagli >>
|
Sun SITE Central Europe,
URANIA 2016, Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents, Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016
Vol. 1802, No. 1, pp: 30-37, Anno: 2017 |
|
|
Dischargeable obligations in abductive logic programming
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo
dettagli >>
|
Springer Verlag,
International Joint Conference on Rules and Reasoning, RuleML+RR 2017; London; United Kingdom; 12 July 2017 through 15 July 2017
Vol. 10364, No. 1, pp: 7-21, Anno: 2017 |
|
|
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics
Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo
dettagli >>
|
Springer International Publishing,
Proceedings of the 15th International Conference on Italian Association for Artificial Intelligence, AIIA 2016
Vol. 10037, No. 1, pp: 364-376, Anno: 2016 |
|
|
Probabilistic Logical Inference On the Web
Alberti, Marco; Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo
dettagli >>
|
Springer International Publishing,
Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016
Vol. 10037, No. 1, pp: 351-363, Anno: 2016 |
|
|
Probabilistic Constraint Logic Theories
Alberti, Marco; Bellodi, Elena; Cota, Giuseppe; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo
dettagli >>
|
Sun SITE Central Europe,
Proceedings of the 3rd International Workshop on Probabilistic Logic Programming (PLP)
Vol. 1661, No. 1, pp: 15-28, Anno: 2016 |
|
|
Normative Systems Require Hybrid Knowledge Bases
Alberti, Marco; Matthias, Knorr; Ana Sofia, Gomes; João, Leite; Ricardo, Gonçalves; Martin, Slota
dettagli >>
|
International Foundation for Autonomous Agents and Multiagent Systems,
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
pp: 1425-1426, Anno: 2012 |
|
|
Observation strategies for event detection with incidence on runtime verification
Alberti, Marco; Dell'Acqua, Pierangelo; Pereira, Lúis Moniz
dettagli >>
|
CEUR,
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Vol. 616, No. 1, pp: 1-15, Anno: 2010 |
|
|
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina
dettagli >>
|
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
Technical Communications of the 26th International Conference on Logic Programming
Vol. 7, No. 1, pp: 4-13, Anno: 2010 |
|
|
Verification from declarative specifications using logic programming
Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola
dettagli >>
|
CEUR-WS,
CEUR Workshop Proceedings. Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA-2008)
Vol. 451, No. 1, pp: ---, Anno: 2009 |
|